1. Hardware specification, verification, and synthesis : Mathematical aspects : Proceedings
پدیدآورنده : M. Leeser, G. Brown, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Design and construction -- Data processing -- Congresses ، Integrated circuits -- Very large scale integration
رده :
QA
76
.
L28
Vol
.
408
